Topological semantics of conservativity and interpretability logics
نویسندگان
چکیده
We introduce and develop a topological semantics of conservativity logics interpretability logics. prove the compactness theorem consistent normal extensions logic $\mathbf{CL}$ by extending Shehtman's ultrabouquet construction method to our framework. As consequence, we that several such as $\mathbf{IL}$, $\mathbf{ILM}$, $\mathbf{ILP}$ $\mathbf{ILW}$ are strongly complete with respect semantics.
منابع مشابه
Functorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملExplicit Logics of Knowledge and Conservativity
Several justification logics have evolved, starting with the logic LP, (Artemov 2001). These can be thought of as explicit versions of modal logics, or logics of knowledge or belief, in which the unanalyzed necessity (knowledge, belief) operator has been replaced with a family of explicit justification terms. Modal logics come in various strengths. For their corresponding justification logics, ...
متن کاملConservativity between logics and typed A calculi*
The following full text is a preprint version which may differ from the publisher's version.
متن کاملConservativity of Fibred Logics without Shared Connectives *
Fibring is a general mechanism for combining logics that provides valuable insight on designing and understanding complex logical systems. Mostly, the research on fibring has focused on its model and proof-theoretic aspects, and on transference results for relevant metalogical properties. Conservativity, however, a property that lies at the very heart of the original definition of fibring, has ...
متن کاملModal Logics and Topological Semantics for Hybrid Systems
In this paper, we introduce the logic of a control action S4F and the logic of a continuous control action S4C on the state space of a dynamical system. The state space here is represented by a topological space (X; T ) and the control action by a function f from X to X. We present an intended topological semantics and a Kripke semantics, give both a Hilbert-style and Gentzen-style axiomatizati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2021
ISSN: ['1465-363X', '0955-792X']
DOI: https://doi.org/10.1093/logcom/exab046